Llistar Títols

S'han trobat 4 ítems

Llistant ítems des de 0 a 4:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs 10 desembre 2015 Reformulation of constraint models into SMT Palahí i Sitges, Miquel
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
doc icon DUGiDocs 20 desembre 2012 A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
out url icon Recercat A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
  1   

Matèries

Autors